「ソフトウェアの基礎(Software Foundations)」シリーズ - pogi-log

「ソフトウェアの基礎(Software Foundations)」シリーズ

ソフトウェアの基礎(Software Foundations)シリーズ

Software Foundations

日本語ソース:

Proofcafe版: http://proofcafe.org/sf/toc.html

chiguri.info版: https://www.chiguri.info/sfja/

Software Foundations

第1巻: Logical Foundations

第2巻: Programming Language Foundations

第3巻: Verified Functional Algorithms

第4巻: QuickChick: Property-Based Testing in Coq

第5巻: Verifiable C

第6巻: Separation Logic Foundations

『Software Foundations Vol.1 Logical Foundations』

確認用

Q. ソフトウェアの基礎(Software Foundations)」シリーズ

調査用

Google.icon ソフトウェアの基礎(Software Foundations)シリーズ(日)

Google.icon Software foundations series(英)